• вывод из метатеоремы
• вывод из теоремы